Mechanical theorem proving
[计] 机器证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
Oh, let me think for a minute.
哦，让我想一下。
I'd like to change this ticket to the first class.
我想把这张票换成头等车。
The next man to approach me was selling expensive pens and watches.
向我兜售的第二个人是卖名贵钢笔和手表的。